منابع مشابه
Measurement of the Earth’s Magnetic Field Vector based on zero field finding algorithm using optically pumped magnetometers
Atomic magnetometers have found widespread applications in precise measurement of the Earth’s magnetic field due to their high sensitivity. In these measurements, various methods have been utilized to compensate the Earth’s magnetic field in an unshielded environment. In this paper, we have proposed a method based on finding the minimum resonance frequency (corresponding to minimum magnetic fie...
متن کاملModel Checking Vector Addition Systems with one zero-test
We design a variation of the Karp-Miller algorithm to compute, in a forward manner, a finite representation of the cover (i.e., the downward closure of the reachability set) of a vector addition system with one zero-test. This algorithm yields decision procedures for several problems for these systems, open until now, such as place-boundedness or LTL model-checking. The proof techniques to hand...
متن کاملPlace-Boundedness for Vector Addition Systems with one zero-test
Reachability and boundedness problems have been shown decidable for Vector Addition Systems with one zero-test. Surprisingly, place-boundedness remained open. We provide here a variation of the Karp-Miller algorithm to compute a basis of the downward closure of the reachability set which allows to decide place-boundedness. This forward algorithm is able to pass the zero-tests thanks to a finer ...
متن کاملCarathéodory Periodic Perturbations of the Zero Vector Field on Manifolds
where λ ≥ 0 is a real parameter. We deal with the problem of the existence of T -periodic solutions of (1.1), with a special attention to the case of small values of λ. Clearly, when λ = 0, any point inM may be regarded as a constant solution of (1.1). Thus, it is natural to think about M as a subset of the set X of all the pairs (λ, x), called T -pairs of (1.1), with λ ≥ 0 and x a T -periodic ...
متن کاملOn Zero-one Laws
An extension of a topological zero-one law due to M. and K.P.S. Bhaskara Rao and of the Hewitt-Savage zero-one law is presented. In [8] M. and K.P.S. Bhaskara Rao proved the following topological zeroone law, which we shall refer to as the Bhaskara Rao zero-one law. Theorem 1. Let X be a topological space and let $ be a group of homeomorphisms of X onto itself with the property that for any two...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1977
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1977-0457442-5